2

Preservation of Craig interpolation by the product of matrix logics

Year:
2013
Language:
english
File:
PDF, 379 KB
english, 2013
5

ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES

Year:
2008
Language:
english
File:
PDF, 318 KB
english, 2008
7

A Priori True and False Conditionals

Year:
2017
Language:
english
File:
PDF, 160 KB
english, 2017
10

Uma abordagem sobre o suicídio de adolescentes e jovens no Brasil

Year:
2018
Language:
english
File:
PDF, 286 KB
english, 2018
17

Interpolation via translations

Year:
2009
Language:
english
File:
PDF, 190 KB
english, 2009
18

Sufficient conditions for cut elimination with complexity analysis

Year:
2007
Language:
english
File:
PDF, 408 KB
english, 2007
19

On Combined Connectives

Year:
2011
Language:
english
File:
PDF, 349 KB
english, 2011
20

Importing Logics

Year:
2012
Language:
english
File:
PDF, 403 KB
english, 2012
21

Importing Logics: Soundness and Completeness Preservation

Year:
2013
Language:
english
File:
PDF, 727 KB
english, 2013
22

Craig Interpolation in the Presence of Unreliable Connectives

Year:
2014
Language:
english
File:
PDF, 361 KB
english, 2014
23

Modulated Fibring and the Collapsing Problem

Year:
2002
Language:
english
File:
PDF, 3.17 MB
english, 2002
25

Fibring as Biporting Subsumes Asymmetric Combinations

Year:
2014
Language:
english
File:
PDF, 591 KB
english, 2014
26

Preservation of Interpolation Features by Fibring

Year:
2007
Language:
english
File:
PDF, 277 KB
english, 2007
27

Fibring Labelled Deduction Systems

Year:
2002
Language:
english
File:
PDF, 361 KB
english, 2002
28

A Graph-theoretic Account of Logics

Year:
2009
Language:
english
File:
PDF, 613 KB
english, 2009
29

Fusion of sequent modal logic systems labelled with truth values

Year:
2010
Language:
english
File:
PDF, 349 KB
english, 2010
31

On meet-combination of logics

Year:
2012
Language:
english
File:
PDF, 220 KB
english, 2012
33

On Graph-theoretic Fibring of Logics

Year:
2009
Language:
english
File:
PDF, 521 KB
english, 2009
34

Importing Logics

Year:
2012
Language:
english
File:
PDF, 2.45 MB
english, 2012
35

PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS

Year:
2016
Language:
english
File:
PDF, 239 KB
english, 2016
38

Modulated fibring and the collapsing problem

Year:
2002
Language:
english
File:
PDF, 1.74 MB
english, 2002
39

On probability and logic

Year:
2018
Language:
english
File:
PDF, 262 KB
english, 2018
40

Kolmogorov One-Way Functions Revisited

Year:
2018
Language:
english
File:
PDF, 289 KB
english, 2018
48

Probabilistic logic of quantum observations

Year:
2019
Language:
english
File:
PDF, 560 KB
english, 2019
50

The Analytic Truth and Falsity of Disjunctions

Year:
2019
Language:
english
File:
PDF, 909 KB
english, 2019